$\downarrow$$T$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{:True$\mid$ $T$\}